perm filename TA[DIS,DBL] blob
sn#228487 filedate 1976-08-03 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00012 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .COMMENT This file will produce a grad-studies-office version thesis
C00005 00003 .COMMENT MACROS
C00019 00004 .COMMENT SET THE VARIABLES
C00020 00005 .COMMENT GET THE CHAPTERS
C00022 00006 .COMMENT Index for the initial concepts
C00024 00007 .COMMENT Things still to do
C00025 00008 .COMMENT Title page
C00027 00009 .COMMENT Copyright page
C00028 00010 .COMMENT Signature page
C00031 00011 .COMMENT Acknowledgements
C00034 00012 .COMMENT Table of Contents
C00036 ENDMK
C⊗;
.COMMENT This file will produce a grad-studies-office version thesis;
.DEVICE XGP
.FONT 1 "BASL30"
.FONT 2 "BASB30"
.FONT 3 "NGR25"
.FONT 4 "BASI30"
.FONT 5 "BDR40"
.FONT 6 "NGB25"
.FONT 7 "NGR20"
.FONT 8 "GRFX35"
.FONT 9 "MS25"
.FONT A "SUP"
.FONT B "SUB"
.TURN ON "↑α↓_π[]{"
.TURN ON "⊗" FOR "%"
.TURN ON "@" FOR "%"
.PAGE FRAME 54 HIGH 75 WIDE
.COMMENT PAGE FRAME 54 HIGH 89 WIDE;
.TITLE AREA HEADING LINES 1 TO 2
.AREA TEXT LINES 3 TO 52
.COUNT PAGE FROM 1 TO 999 PRINTING "1"
.TABBREAK
.COMMENT split the following, wen readying for 2-sided document;
.ODDLEFTBORDER←EVENLEFTBORDER←1500
.COMMENT IF device is LPT then remove these ligatures;
.AT "ffi" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "≠" ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "≥" ELSE "fαf" ⊃;
.AT "fl" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "∨" ELSE "fαl" ⊃;
.AT "fi" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "α≡" ELSE "fαi" ⊃;
.AT "--" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "α¬" ELSE "-α-" ⊃;
.COMMENT MACROS;
.MACRO FAD ⊂ FILL ADJUST DOUBLE SPACE PREFACE 2 COMPACT SELECT 1 INDENT 0,0,0 ⊃
.MACRO FAS ⊂ FILL ADJUST SINGLE SPACE PREFACE 1 COMPACT SELECT 1 INDENT 0,0,0 ⊃
.FAS
.MACRO GET(FILE, PPS); ⊂ BEGIN "FILE"
. REQUIRE "FILE" SOURCE_FILE;
. END "FILE" ⊃;
.MACRO GGET(FILE, PPS); ⊂ BEGIN "FILE"
. IF APPYET=0 THEN START NSEC(FILE); END;
. ELSE START NSECA(FILE); END;
. IF PPS>0 THEN START PAGE←PAGE+PPS; END;
. END "FILE" ⊃;
.COMMENT split the following, when readying for 2-sided document;
.MACRO HEAD ⊂ EVERY HEADING(⊗7Chapter {SECNUM},⊗2AM: ⊗7 Discovery in Mathematics as Heuristic Search,⊗1-⊗7{PAGE}⊗1-) ⊃
.MACRO HEADC ⊂ EVERY HEADING(,⊗2AM: ⊗7 Discovery in Mathematics as Heuristic Search,⊗1-⊗7{PAGE}⊗1-) ⊃
.COMMENT MACRO HEADC ⊂ EVERY HEADING({DATE},⊗6DRAFT: NOT FOR DISTRIBUTION,⊗1-⊗7{PAGE}⊗1-) ⊃;
.MACRO HEADA ⊂ EVERY HEADING(⊗7Appendix {ASECNUM},⊗2AM ⊗7 Discovery in Mathematics as Heuristic Search,⊗1-⊗7{PAGE}⊗1-) ⊃
.MACRO NOHEAD ⊂ EVERY HEADING(,,) ⊃
.MACRO NOFOOT ⊂ EVERY FOOTING(,,) ⊃
.COMMENT MACRO HEADA ⊂ EVERY HEADING(⊗7AM Thesis Draft:⊗* ⊗4{DATE}⊗*,⊗7Doug Lenat⊗*,⊗7appendix {ASECNUM} ⊗*⊗6 page {PAGE}⊗*) ⊃;
.MACRO B ⊂ BEGIN VERBATIM GROUP ⊃
.MACRO E ⊂ APART END ⊃
.MACRO ES ⊂ END SKIP 1 ⊃
.MACRO ESS ⊂ END SKIP 2 ⊃
.MACRO D ⊂ ONCE PREFACE 100 MILLS ⊃
.MACRO O44 ⊂ ONCE PREFACE 0 INDENT 4,4,0 ⊃
.MACRO OO ⊂ ONCE PREFACE 1 INDENT 0,4,0 ⊃
.MACRO OOO ⊂ ONCE INDENT 0,8,0 ⊃
.MACRO B04 ⊂ BEGIN PREFACE 0 INDENT 4,4,0 ONCE INDENT 0,4,0 PREFACE 1 ⊃
.MACRO B48 ⊂ BEGIN PREFACE 0 INDENT 4,8,0 ONCE PREFACE 1 ⊃
.MACRO HH(C,F) ⊂
. IF LINES≤8 THEN START NEXT PAGE ; END ;
. ONCE PREFACE 2 SELECT 5 INDENT 1; RETAIN;
C . F
. ⊃
.MACRO B816 ⊂ BEGIN SELECT 6 PREFACE 0 INDENT 8,16,0 ONCE PREFACE 1 ⊃
.MACRO BCOM ⊂ BEGIN SELECT 4 FILL PREFACE 1 INDENT 30,30,0 ⊃
.MACRO BH ⊂ SELECT 1; BEGIN GROUP; SELECT 6 PREFACE 0; INDENT 4,8,0;
. IF BNN≤99 THEN START INDENT 3,8,0; END;
. IF BNN≤9 THEN START INDENT 2,8,0; END;
. ONCE PREFACE 1 INDENT 0,8,0 ⊃
. COMMENT XGENLINES←XGENLINES-1;
.MACRO B1 ⊂ BEGIN NOFILL PREFACE 0 SELECT 6 TURN OFF "{}" TURN ON "↑↓" ⊃
.MACRO B0 ⊂ BEGIN SELECT 8 NOFILL PREFACE 0 MILLS TURN OFF "↑↓" GROUP ⊃
.MACRO B7 ⊂ BEGIN SELECT 8 NOFILL PREFACE 0 MILLS TURN OFF "↑↓" GROUP ⊃
.MACRO QQ ⊂ BEGIN GROUP; PREFACE 1; INDENT 35; SELECT 6;
. ONCE INDENT 5,5,5 SELECT 4; PREFACE 2; ⊃
.MACRO W(F) ⊂ SELECT F NOFILL SINGLE SPACE; PREFACE 0 ⊃
.MACRO MTURN ⊂ TURN OFF "{∞→}" ; TURN ON "↑↓α_π[]" ⊃
.MACRO BN ⊂ BEGIN INDENT 4,7,0 PREFACE 0 BNN←0 ⊃
.MACRO BBOX ⊂ B0 TURN ON "∞→α" TOPLIN ⊃
.MACRO SBOX (LEFTN,RIGHTN) ⊂ WBOX(8,8) ⊃
.MACRO WBOX (LEFTN,RIGHTN) ⊂ B0;
. LEFTNN←LEFTN-7
. RIGHTNN←RIGHTN-8
. NARROW LEFTNN,RIGHTNN;
. TURN ON "∞→α";
. TOPLIN ⊃
.MACRO EBOX ⊂ BOTLIN E BREAK ⊃
.MACRO TOPLIN ⊂ BEGIN TURN OFF "α"
⊂∞α→⊃
. END ⊃
.MACRO BOTLIN ⊂
%∞α→$
. ⊃
.AT "MBOX" L "$" ⊂ "~ ⊗6L⊗8∞ →~" ⊃
.AT "FBOX" L "%" ⊂ ONCE TURN ON "{}"; "~ ⊗6L⊗8∞ →~" ⊃
.MACRO BOX (εTOPSIDE,εBOTTOMSIDE,εLEFTSIDE,εRIGHTSIDE) ⊂
.BEGIN
.AREA BOXING LINES TOPSIDE TO BOTTOMSIDE+1
.PLACE BOXING
.NOFILL; PREFACE 0 MILLS
.SELECT 8
.INDENT LEFTSIDE
.TABS RIGHTSIDE
.TURN ON "\∞→"
⊂∞α→\⊃
.K←BOTTOMSIDE-TOPSIDE-1
.REPEAT ⊂
~∞ →\~
.K←K-1; IF K≤0 THEN DONE
.⊃
%∞α→\$
.END
.TESTBOT←BOTTOMSIDE;
.⊃
.MACRO BOXTOP (εLLEFT) ⊂ BEGIN
. IF LINES≤LLEFT THEN START NEXT PAGE ; END ;
. TOPHERE←TOPLINE+LINE-1
. SPACING 0 MILLS; PREFACE 0 MILLS
. GROUP SKIP 2
. INDENT 2,2,2
. ⊃
.MACRO BOXB ⊂ BOXBOT(0,75) ⊃
.MACRO BOXBOT (εLL,εRR)⊂
. BOTTOMHERE←TOPLINE+LINE-1
. GROUP SKIP 2
. END
. BOX (TOPHERE,BOTTOMHERE,LL,RR)
. ⊃
.AT "λλ" ⊂ TURN ON "{}" BNN←BNN+1 "⊗6{BNN}.⊗* " ⊃
.MYFOOT←1
.FOOTSEP←"________________________________________________________________________________"
.COUNT FOOTNOTE INLINE PRINTING "⊗A1⊗*"
.AT "$$" ENTRY "$" ⊂ XGENLINES←XGENLINES-1; NEXT FOOTNOTE; !;
.SEND FOOT ⊂ TURN ON "[]{" SELECT 7; SPACING 0; PREFACE 0; WIDEN 20,20; INDENT 0,10
⊗A{MYFOOT}⊗* ENTRY
.MYFOOT←MYFOOT+1
.BREAK ⊃ ⊃
.AT "<<" ENTRY ">" ⊂
.TURN ON "{"
.SEND TODO ⊂
Page {PAGE}: @7ENTRY@*
. ⊃
.TURN OFF "{";
.COMMENT THIS IS WHAT USED TO BE THERE: ⊗2<↓_Still to do:_↓ ⊗* ⊗4 ENTRY⊗*⊗2>⊗*;
.BREAK ⊃
.AT "***" ENTRY "." ⊂ APART GROUP
⊗6** ↓_ENTRY:_↓ **⊗*
. ⊃
.AT "::" ENTRY ":" ⊂ APART GROUP; BNN←BNN+1
⊗6** ↓_Task {BNN}_↓ ** ENTRY⊗*,
. ⊃
.AT "*.*" ENTRY "." ⊂ "⊗6** ↓_ENTRY_↓ **⊗*" ⊃
.AT "-1-" ⊂ "⊗A-1⊗*" ⊃;
.AT "-o-" ⊂ "⊗7o⊗*" ⊃;
.AT "∂" ⊂ "αα" ⊃;
.MACRO NSECP(A) ⊂ SSECNUM←0
.MYFOOT←1
.COUNT FOOTNOTE INLINE PRINTING "⊗A1⊗*"
.SECNUM←SECNUM+1
.HEADC
.SECTION←"A"
.SKIP TO COLUMN 1
.TURN ON "{∞→"
.SEND CONTENTS ⊂
.APART; GROUP;
@2{SECNUM}. ↓_A_↓⊗*
.⊃
.SEND TODO ⊂
@2↓_CHAPTER {SECNUM}_↓ -- @* @7A@*
. ⊃
.MTURN
.BEGIN CENTER TURN ON "{}" RETAIN
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
@5Chapter {SECNUM}. A⊗*
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
.END
.HEAD
. ⊃
.MACRO NSEC(A) ⊂ SSECNUM←0
.MYFOOT←1
.COUNT FOOTNOTE INLINE PRINTING "⊗A1⊗*"
.SECNUM←SECNUM+1
.A: SECNUM;
.HEAD
.SECTION←"A"
.COMMENT DO NOT SKIP TO COLUMN 1;
.TURN ON "{∞→"
.SEND CONTENTS ⊂
@1{SECNUM}. ↓_A_↓⊗* ∞.→ @7Not pubbed⊗*
.⊃
.SEND TODO ⊂
@2↓_CHAPTER {SECNUM}_↓ @* @7(A)@* @2 is not present in this pub run@*
. ⊃
.MTURN
.BEGIN CENTER TURN ON "{}" RETAIN
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
@5Chapter {SECNUM}: A⊗1 ---- Not Pubbed
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
.END
. ⊃
.MACRO SSEC(A) ⊂
.FAS
.SSECNUM←SSECNUM+1
.SSSECNUM←0
.SKIP 2
.IF LINES≤5 THEN START SKIP TO COLUMN 1 END ;
.TURN ON "{∞→"
.SEND CONTENTS ⊂
.APART; GROUP;
@1 {SECNUM}.{SSECNUM}. A⊗* ∞.→ {PAGE}
.⊃
.MTURN
.ONCE CENTER TURN ON "{}"
@5↓_{SECNUM}.{SSECNUM}. A_↓⊗*
.COMMENT here is the way they were:
. ONCE INDENT 6 TURN ON "{}"
. (no dot) @2↓_{SECNUM}.{SSECNUM}. A_↓⊗*
. ;
. ⊃
.MACRO SSSEC(A) ⊂ TURN ON "{∞→"
.FAS
.SSSECNUM←SSSECNUM+1
.SKIP 1
.IF LINES≤4 THEN START SKIP TO COLUMN 1 END ;
.SEND CONTENTS ⊂
@1 @*@7A⊗*
.⊃
.MTURN
.COMMENT This used to indent 1;
.ONCE INDENT 2 TURN ON "{}"
@2↓_{SECNUM}.{SSECNUM}.{SSSECNUM}. A_↓⊗*
. ⊃
.MACRO ASEC(Z) ⊂ SSECNUM←0
.APPYET←1;
.SECTION←"Z"
.FAS
.APART
.MYFOOT←1
.COUNT FOOTNOTE INLINE PRINTING "⊗A1⊗*"
.ASECNUM←ASECNUM+1
.HEADC
.SKIP TO COLUMN 1
.TURN ON "{∞→"
.SEND CONTENTS ⊂
.APART; GROUP;
@2Appendix {ASECNUM}. ↓_Z_↓⊗* ∞.→ {PAGE}
.⊃
.SEND TODO ⊂
@2↓_APPENDIX {ASECNUM}_↓ -- @* @7Z@*
. ⊃
.MTURN
.BEGIN CENTER TURN ON "{}" RETAIN
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
@5Appendix {ASECNUM}. Z⊗*
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
.END
.HEADA
. ⊃
.MACRO NSECA(Z) ⊂ SSECNUM←0
.COMMENT For GGETing a non-present appendix;
.SECTION←"Z"
.ASECNUM←ASECNUM+1
.Z: ASECNUM;
.APART
.HEADA
.COMMENT DO NOT SKIP TO COLUMN 1;
.TURN ON "{∞→"
.SEND CONTENTS ⊂
@2Appendix {ASECNUM}. ↓_Z_↓⊗* ∞.→ @7Not pubbed⊗*
.⊃
.SEND TODO ⊂
@2↓_APPENDIX {ASECNUM}_↓ @* @7(Z)@* @2is not present in this pub run@*
. ⊃
.MTURN
.BEGIN CENTER TURN ON "{}" RETAIN
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
@5Appendix {ASECNUM}: Z⊗1 ---- not pubbed
⊗8≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡⊗*
.END
. ⊃
.MACRO ASGON ⊂ COMMENT prepare for ASSECG commands;
.SEND CONTENTS ⊂
.BEGIN FILL; SPACING 0; PREFACE 0; SELECT 7; INDENT 4,4,4;
.⊃
.⊃
.MACRO ASGOFF ⊂ COMMENT terminate ASSECG commands;
.SEND CONTENTS ⊂
.END;
.⊃
.⊃
.MACRO SSECP(Z) ⊂ SKIP TO COLUMN 1; SSEC(Z) ⊃
.MACRO ASSECP(Z) ⊂ SKIP TO COLUMN 1; ASSEC(Z) ⊃
.MACRO ASSECG(Z) ⊂ APART; COMMENT XGENLINES←XGENLINES-1; GROUP;
.TURN ON "{∞→\}↑↓β"
.SELECT 1
.SKIP 1
.IF LINES≤4 THEN START SKIP TO COLUMN 1 END ;
.SSSECNUM←SSSECNUM+1;
.COMMENT SSSECNUM←0;
.SEND CONTENTS ⊂
Z,
.⊃
.COMMENT This would reinitialize the Lambda-Lambda construction
. BNN←0;
.SEND INDEXC ⊂}λ|Z|{PAGE}λ{⊃
.MTURN
.ONCE CENTER TURN ON "{}"
@2↓_Appendix {ASECNUM}.{SSECNUM}.{SSSECNUM} _↓⊗5↓_ Z_↓⊗*
. ⊃
.MACRO ASSEC(Z) ⊂ TURN ON "{∞→"
.SELECT 1
.SKIP 1
.IF LINES≤4 THEN START SKIP TO COLUMN 1 END ;
.SSECNUM←SSECNUM+1;
.SSSECNUM←0;
.SEND CONTENTS ⊂
.APART; GROUP;
@1 Z⊗*
.⊃
.COMMENT This would reinitialize the Lambda-Lambda construction
. BNN←0;
.MTURN
.ONCE CENTER TURN ON "{}"
@2↓_Appendix {ASECNUM}.{SSECNUM}. _↓⊗5↓_ Z_↓⊗*
. ⊃
.MACRO ASSSEC(Z) ⊂ TURN ON "{∞→"
.FAS
.SKIP 1
.IF LINES≤4 THEN START SKIP TO COLUMN 1 END ;
.SSSECNUM←SSSECNUM+1;
.SEND CONTENTS ⊂
@1 @*@7Z⊗*
.⊃
.MTURN
.ONCE INDENT 2 TURN ON "{}"
@3↓_Appendix {ASECNUM}.{SSECNUM}.{SSSECNUM}._↓@*@2↓_ Z_↓⊗*
. ⊃
.COMMENT SET THE VARIABLES;
.SKIP TO COLUMN 1
.FAS
.SECNUM←0
.ASECNUM←0
.SSECNUM←0
.APPYET←0
.BNN←85
.SELECT 1
.INSERT CONTENTS
.WIDEN 30,30
.FAS
.PAGE FRAME 54 HIGH 75 WIDE
.TITLE AREA HEADING LINES 1 TO 2
.AREA TEXT LINES 3 TO 52
.PLACE TEXT
.COUNT PAGE FROM 1 TO 999 PRINTING "1"
.PAGE←0
.PORTION THESIS
.COUNT PAGE FROM 1 TO 999 PRINTING "1"
.TURN OFF "{∞→}"
.PAGE←0
.NEXT PAGE
.INDENT 0
.FAS
.MTURN
.COMMENT GET THE CHAPTERS;
.GET(ABSTRA)
.COMMENT Index for the initial concepts;
.PAGE←INDEXCPAGE;
.EVERY HEADING(⊗7Appendix {[2]IASECNUM},⊗2AM ⊗7 Discovery in Mathematics as Heuristic Search,⊗1-⊗7{PAGE}⊗1-)
.PORTION INDEXC;
.ONCE CENTER TURN ON "{}"
@2↓_Appendix {[2]IASECNUM}.{[3]ISSECNUM}.{[3]ISSSECNUM} _↓⊗5↓_Index to Initial Concepts_↓⊗*
.BEGIN NOFILL TURN ON "{}β∞\→←α↑↓";
.COMMENT INDENT 15 TABS 50;
.SELECT 1;
.AT "λ|" FNAME "|" PAG "λ" ⊂
.BREAK
FNAME ∞.→ PAG
.⊃
.AREA TEMP1 LINE 7;
.AREA TEMP2 LINES 11 TO 47 IN 2 COLUMNS 5 APART;
.NOFILL INDENT 0,0,0; PREFACE 0;
.PLACE TEMP1; SELECT 5; TABS 30; TURN ON "\→";
↓_CONCEPT_↓\↓_PAGE_↓ ↓_CONCEPT_↓→↓_PAGE_↓
.PLACE TEMP2; SELECT 1;
.RECEIVE "||"
.E
.ENDINDEXCP: PAGE;
.COMMENT Things still to do;
.NOHEAD
.PORTION TODO
.BEGIN NOFILL PREFACE 0 TURN ON "α[]↑↓_{}∞→" SELECT 1
.ONCE CENTER
⊗5↓_Things still to do_↓⊗*
.RECEIVE
.END
.PAGE←0
.SELECT 1
.COMMENT Title page;
.PORTION CONTENTS
.BEGIN COMMENT PREFACE PAGES;
.NOHEAD
.PAGE FRAME 53 HIGH 75 WIDE
.AREA TEXT LINES 2 TO 51
.TITLE AREA FOOTING LINE 52
.NOFILL
.SKIP TO COLUMN 1
.COUNT PAGE FROM 2 TO 999 PRINTING "i";
.NARROW 6,8
.PREFACE 0 TURN ON "α[]↑↓_{}∞→" SELECT 1
.BEGIN CENTER
.GROUP SKIP 3
.SELECT 5
↓_AM:_↓ An Artificial Intelligence Approach to
Discovery in Mathematics as Heuristic Search
.SELECT 6
.TURN ON "{∞→"
A DISSERTATION
SUBMITTED TO THE COMPUTER SCIENCE DEPARTMENT
AND THE COMMITTEE ON GRADUATE STUDIES
OF STANFORD UNIVERSITY
IN PARTIAL FULFILLMENT OF THE REQUIREMENTS
FOR THE DEGREE OF
DOCTOR OF PHILOSOPHY
.SELECT 2; RETAIN
⊗1By⊗*
Douglas Bruce Lenat
July, l976
.END
.SELECT 1
.COMMENT Copyright page;
.SKIP TO COLUMN 1
.EVERY FOOTING(,-⊗7{PAGE!}⊗*-,)
.GROUP SKIP 27
.BEGIN CENTER
⊗9c⊗1 Copyright 1976
by
Douglas B. Lenat
.END
.COMMENT Signature page;
.SKIP TO COLUMN 1
.FAS;
.TURN ON "α[]↑↓_{}∞→\" TABS 30,40
.INDENT 0,7,0
.GROUP SKIP 2
.SELECT 4
I certify that I have read this thesis and that in my
opinion it is fully adequate, in scope and quality, as
a dissertation for the degree of Doctor of Philosophy.
\↓_∞ → _↓
.ONCE PREFACE 0
\\⊗7C. Cordell Green (Principal Adviser)⊗*
.GROUP SKIP 2
I certify that I have read this thesis and that in my
opinion it is fully adequate, in scope and quality, as
a dissertation for the degree of Doctor of Philosophy.
\↓_∞ → _↓
.ONCE PREFACE 0
\\⊗7Bruce G. Buchanan⊗*
.GROUP SKIP 2
I certify that I have read this thesis and that in my
opinion it is fully adequate, in scope and quality, as
a dissertation for the degree of Doctor of Philosophy.
\↓_∞ → _↓
.ONCE PREFACE 0
\\⊗7Edward A. Feigenbaum⊗*
.GROUP SKIP 2
I certify that I have read this thesis and that in my
opinion it is fully adequate, in scope and quality, as
a dissertation for the degree of Doctor of Philosophy.
\↓_∞ → _↓
.ONCE PREFACE 0
\\⊗7Donald E. Knuth⊗*
.GROUP SKIP 2
I certify that I have read this thesis and that in my
opinion it is fully adequate, in scope and quality, as
a dissertation for the degree of Doctor of Philosophy.
\↓_∞ → _↓
.ONCE PREFACE 0
\\⊗7Allen Newell⊗*
.GROUP SKIP 3; SELECT 1
Approved for the University Committee on Graduate Studies:
\↓_∞ → _↓
.ONCE PREFACE 0
\\⊗7(Dean of Graduate Studies)⊗*
.COMMENT Acknowledgements;
.SKIP TO COLUMN 1
.GROUP SKIP 10
.FAS
.ONCE CENTER SELECT 5
↓_Acknowledgments_↓
.GROUP SKIP 3
I owe a great debt of thanks to many people, both for the input of
new ideas and for the evaluation, channelling, and pruning of my own.
Let me begin by alphabetically thanking my committee: Bruce Buchanan,
Ed Feigenbaum, Cordell Green, Don Knuth, and Allen Newell.
Interacting with each of them has been an exciting experience, and my
thesis has greatly benefited from their guidance.
The following individuals have each
informally supplied some ideas or comments that appear within this
thesis. They all have earned my gratitude, and have significantly improved
the experence you are about to have, that of reading this thesis:
Danny Bobrow,
Don Cohen,
Avra Cohn,
Randy Davis,
Bob Floyd,
Carl Hewitt,
Earl Sacerdoti,
Richard Weyrauch,
and Terry Winograd.
Let me also thank SAIL,
SRI, and SUMEX
for providing a
sophisticated
computing environment in which to work.
This research was supported by ARPA contracts
.ONCE PREFACE 2; COMMENT UNTIL ARPA NUMBERS ARE FILLED IN;
Around this point in the ⊗4Acknowledgements⊗*, most theses have some
sort of tribute to the candidate's wife. Until I was in the throes of
this research, I never fully appreciated the importance of such
support. So let me sincerely acknowledge the indispensable aid I
received from Merle, my wonderful wife, who put up with inverted
schedules and who gave me the confidence to tackle this problem and
the enthusiasm to keep going.
.COMMENT Table of Contents;
.END COMMENT PREFACE PAGES;
.SKIP TO COLUMN 1
.BEGIN COMMENT CONTENTS;
.NOHEAD
.PAGE FRAME 54 HIGH 75 WIDE
.AREA TEXT LINES 2 TO 50
.PLACE TEXT
.AREA FOOTING LINE 53
.EVERY FOOTING(,-⊗7{PAGE!}⊗*-,)
.NOFILL
.COUNT PAGE FROM 6 TO 999 PRINTING "i";
.PAGE←5
.PAGE!←"v"
.SKIP TO COLUMN 1
.NARROW 6,8
.NOFILL
.PREFACE 0 TURN ON "α[]↑↓_{}∞→" SELECT 1
.BEGIN CENTER
⊗5↓_Table of Contents_↓⊗*
.END
.COMMENT PREFACE 10 MILLS;
.COMMENT NARROW 3,3; NARROW 2,2;
.GROUP;
.RECEIVE
.APART;
.PAGE←0
.NOFOOT
.END COMMENT CONTENTS;